Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
861	THE ASSOCIATION OF ELECTORAL ADMINISTRATORS Formal response to the Electoral Commission evidence and issues paper: Electoral fraud in the UK 1. Add to Reading List Source URL: www.aea-elections.co.uk Language: English - Date: 2013-08-08 04:16:12 Accountability Postal voting Electoral Commission Elections in the United Kingdom Electoral fraud Voting system Proxy voting Electoral reform Electronic voting Elections Politics Government
862	THE ASSOCIATION OF ELECTORAL ADMINISTRATORS Formal response to the Electoral Commission review of electoral fraud and invitation for evidence and views on potential vulnerabilities in the current electoral system 1. Add to Reading List Source URL: www.aea-elections.co.uk Language: English - Date: 2013-01-08 22:15:34 Accountability Electoral Commission Electoral roll Electoral fraud Postal voting Voter registration Elections in the United Kingdom Electronic voting Disfranchisement Elections Politics Government
863	THE ASSOCIATION OF ELECTORAL ADMINISTRATORS Formal response to the Electoral Commission’s issues paper: The timing of election counts 1. Add to Reading List Source URL: www.aea-elections.co.uk Language: English - Date: 2012-11-23 11:07:09 Elections in the United Kingdom Postal voting Electronic voting Electoral Commission Returning officer Accountability Voting system Elections in Bhutan Electoral system of Australia Elections Politics Government
864	PUSH-PULL OPERATORS ON THE FORMAL AFFINE DEMAZURE ALGEBRA AND ITS DUAL ` KIRILL ZAINOULLINE, AND CHANGLONG ZHONG BAPTISTE CALMES, Contents Add to Reading List Source URL: www.math.uni-bielefeld.de Language: English - Date: 2014-01-08 16:01:56 Representation theory Algebras Algebraic topology Root system Formal group Weight Affine Hecke algebra Michel Demazure Demazure module Abstract algebra Algebra Lie algebras
865	Microsoft Word - E_571_A_Formal Notice_20140624 Add to Reading List Source URL: www.laisun.com Language: English - Date: 2014-06-24 04:57:05 Financial system Hong Kong Exchanges and Clearing Financial economics Economy of Asia
866	Quantum Representation Theory for Nonlinear Dynamical Automata Peter beim Graben School of Psychology and Clinical Language Sciences, University of Reading, United Kingdom [removed] Add to Reading List Source URL: www.beimgraben.info Language: English - Date: 2012-06-30 07:28:56 Software engineering Dynamical system Parsing Top-down parsing Context-free grammar Formal grammar Computing Structure Formal languages Compiler construction Systems
867	PDF Document Add to Reading List Source URL: www.kaufmann.no Language: English - Date: 2008-12-15 13:58:51 Automata theory Data types Combinatorics on words XML Type system Regular expression SQL Metadata Regular language Computing Formal languages Technical communication
868	Eighth GEBCO Science – presentation abstract Institute of Marine Sciences - National Research Council (ISMAR-CNR), Venice, Italy, 8th October 2013 Oral presentation title: Bringing Ocean Data to the Cloud Author: Timot Add to Reading List Source URL: www.gebco.net Language: English - Date: 2013-09-16 08:26:39 Data management General Bathymetric Chart of the Oceans CNR Formal sciences System software Oceanography Software
869	C O V E R F E A T U R E The Discipline of Embedded Systems Design Thomas A. Henzinger, EPFL Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Systems analysis Scientific modeling Formal methods Systems engineering Embedded system Systems design Computer science Hardware architect Modeling language Software engineering Science Computing
870	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis [removed] Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Computing Formal methods Diagrams Petri net Process calculus Isochrony State transition system Synchronization Deadlock Concurrency Models of computation Computer science

UPDATE